Nuprl Lemma : implies_transitivity 13,42

PQR:. (P  Q (Q  R {P  R
latex


Upcore 2, core 2
Definitionst  T, {T}, P  Q, , x:AB(x)

origin